Epistemic modal logic - PDFSEARCH.IO - Document Search Engine

Epistemic modal logic
Results: 239

#	Item
41	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:58 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
42	Program KRAMASThe slots for the KRAMAS workshop are strictly limited to 25 minutes per paper. After 20 minutes, the session chairs will indicate that presentation time is over, leaving 5 minutes for questions. 8.4 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-09-04 07:34:00 Knowledge Modal logic Non-classical logic Philosophical logic Epistemic modal logic Argumentation theory Reason Logic Science Arguments
43	Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:33 Multi-agent systems Ethology Epistemic modal logic Modal logic Action theory Cognitive robotics Agent-based model Motivation Artificial intelligence Science Logic
44	Modal Logic & Philosophy Philosophy Prelim UC Berkeley Logic Group Supervised by Prof. Wesley Holliday Logics Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Philosophy Logicians Analytic philosophers Metaphysicians Philosophical logic Epistemic modal logic Saul Kripke Johan van Benthem Possible world Logic Mathematical logic Modal logic
45	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
46	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
47	Eavesdroppers and Epistemic Modals 1 A simple and initially quite natural account of a sentence governed by an epistemic modal says that its truth or falsity at a context is determined by the knowledge possessed by the s Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:33 Justification Metatheory Philosophical logic Grammar Grammatical moods Linguistic modality Contextualism Epistemology Relativism Philosophy Logic Ethics
48	Possible Worlds, Belief, and Modal Logic: a Tutorial Anthony H. Dekker∗ October 5, 2004 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2004-10-04 23:29:25 Modal logic Epistemic modal logic Doxastic logic Entailment Epistemology Possible world Truth Kripke semantics Mereology Logic Mathematical logic Philosophical logic
49	Complex Epistemic Modalities in the Situation Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Logic programming Artificial intelligence Situation calculus Epistemic modal logic Modal logic Function Common knowledge Symbol Frame problem Logic Mathematical logic Mathematics
50	Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-16 10:30:47 Logical syntax Model theory Philosophical logic Philosophy of language Modal logic Interpretation Epistemic modal logic First-order logic Entailment Logic Mathematical logic Propositional calculus